#include <lib.h>
#define getIRQcnt	_getIRQcnt
#include <unistd.h>

PUBLIC unsigned long getIRQcnt(irq)
int irq;
{
  message m;

  /* Seteamos los parámetros del mensaje */
  m.m1_i1 = irq;

  _syscall(MM, GETIRQCNT, &m);

  return ((unsigned long)m.m2_l1);
}
